Capacity Planning in a General Supply Chain with Multiple Contract Types by Xin Huang Submitted to the Department of Electrical Engineering and Computer

Source URL: web.mit.edu

• Mathematics
• Computational complexity theory
• Applied mathematics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Mathematical optimization
• Linear programming
• Shortest path problem
• Ant colony optimization algorithms
• Genetic algorithm

Electrical & Computer EngineeringM.S. Catalog/Handbook ECE Office of Graduate Affairs This document is for the internal use of the Department of Electrical and Computer Engineering

Source URL: www.ece.cmu.edu

• Carnegie Mellon University
• Carnegie Mellon Silicon Valley
• Information Networking Institute
• Carnegie Mellon School of Computer Science

London July, 19th 2013 CloudSME project brings SMEs closer to cloud computing Computer simulation can significantly improve the competitive position of manufacturing and engineering companies by helping to achieve effici

Source URL: www.cloudbroker.com

• Cloud computing
• Computing
• Cloud infrastructure
• Software
• Computational science
• Scientific modeling
• Virtual reality
• Simulation software
• Software as a service
• Simulation
• Computer simulation
• Business process management

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

Source URL: www.isse.uni-augsburg.de

• Functional predicate
• Model theory
• Symbol
• Limit of a function
• Universal quantification
• Mathematical logic
• Mathematics
• Logic

Poster: Detecting Command and Control Servers of Botnet With Randomized Traffic Di Wu1,2, Binxing Fang3, Fangjiao Zhang1,2 1 (Institute of Information Engineering, Chinese Academy of Sciences) 2 (School of Cyber Security

Source URL: www.ieee-security.org

• Computer network security
• Computing
• Cyberwarfare
• Multi-agent systems
• Spamming
• Cybercrime
• Botnets
• Intrusion detection system
• Server
• Cluster analysis
• Internet bot
• Computer security

Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Learning
• Statistical randomness
• Q-learning
• Metalearning
• Reinforcement learning
• Artificial neural network
• Meta learning
• Multi-armed bandit
• Markov decision process
• Feature learning

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Source URL: www.isse.uni-augsburg.de

• Computer memory
• Computer data storage
• Embedded Linux
• Data management
• Computing
• Non-volatile memory
• Flash file system
• Flash memory
• Data
• UBIFS
• File system
• JFFS2

INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section,

Source URL: users.encs.concordia.ca

• Computing
• Computer systems
• Edsger W. Dijkstra
• Software architecture
• Software engineering
• Scalability
• Big data
• Database
• Information and communications technology
• Computer engineering

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca

From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Cyberwarfare
• Software Engineering Institute
• Mellon
• Software engineering
• Carnegie
• Pittsburgh